Definition of electron